Integrand size = 19, antiderivative size = 176 \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\frac {\arctan \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}-\frac {\arctan \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}+\frac {\log \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n}-\frac {\log \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n} \]
[Out]
Time = 0.14 (sec) , antiderivative size = 176, normalized size of antiderivative = 1.00, number of steps used = 12, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.421, Rules used = {3557, 335, 217, 1179, 642, 1176, 631, 210} \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\frac {\arctan \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}-\frac {\arctan \left (\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+1\right )}{\sqrt {2} b n}+\frac {\log \left (\cot \left (a+b \log \left (c x^n\right )\right )-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+1\right )}{2 \sqrt {2} b n}-\frac {\log \left (\cot \left (a+b \log \left (c x^n\right )\right )+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+1\right )}{2 \sqrt {2} b n} \]
[In]
[Out]
Rule 210
Rule 217
Rule 335
Rule 631
Rule 642
Rule 1176
Rule 1179
Rule 3557
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int \frac {1}{\sqrt {\cot (a+b x)}} \, dx,x,\log \left (c x^n\right )\right )}{n} \\ & = -\frac {\text {Subst}\left (\int \frac {1}{\sqrt {x} \left (1+x^2\right )} \, dx,x,\cot \left (a+b \log \left (c x^n\right )\right )\right )}{b n} \\ & = -\frac {2 \text {Subst}\left (\int \frac {1}{1+x^4} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{b n} \\ & = -\frac {\text {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{b n}-\frac {\text {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{b n} \\ & = -\frac {\text {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{2 b n}-\frac {\text {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{2 b n}+\frac {\text {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{2 \sqrt {2} b n}+\frac {\text {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{2 \sqrt {2} b n} \\ & = \frac {\log \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n}-\frac {\log \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n}-\frac {\text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}+\frac {\text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n} \\ & = \frac {\arctan \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}-\frac {\arctan \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )}{\sqrt {2} b n}+\frac {\log \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n}-\frac {\log \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n} \\ \end{align*}
Time = 0.14 (sec) , antiderivative size = 142, normalized size of antiderivative = 0.81 \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\frac {2 \arctan \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )-2 \arctan \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}\right )+\log \left (1-\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )-\log \left (1+\sqrt {2} \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}+\cot \left (a+b \log \left (c x^n\right )\right )\right )}{2 \sqrt {2} b n} \]
[In]
[Out]
Time = 1.11 (sec) , antiderivative size = 122, normalized size of antiderivative = 0.69
method | result | size |
derivativedivides | \(-\frac {\sqrt {2}\, \left (\ln \left (\frac {1+\cot \left (a +b \ln \left (c \,x^{n}\right )\right )+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}}{1+\cot \left (a +b \ln \left (c \,x^{n}\right )\right )-\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}}\right )+2 \arctan \left (1+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}\right )+2 \arctan \left (-1+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}\right )\right )}{4 n b}\) | \(122\) |
default | \(-\frac {\sqrt {2}\, \left (\ln \left (\frac {1+\cot \left (a +b \ln \left (c \,x^{n}\right )\right )+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}}{1+\cot \left (a +b \ln \left (c \,x^{n}\right )\right )-\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}}\right )+2 \arctan \left (1+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}\right )+2 \arctan \left (-1+\sqrt {2}\, \sqrt {\cot \left (a +b \ln \left (c \,x^{n}\right )\right )}\right )\right )}{4 n b}\) | \(122\) |
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.26 (sec) , antiderivative size = 571, normalized size of antiderivative = 3.24 \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\frac {1}{2} \, \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {1}{4}} \log \left (\frac {b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} \cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} + \sqrt {\frac {\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}{\sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}} \sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}{\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}\right ) - \frac {1}{2} \, \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {1}{4}} \log \left (-\frac {b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} \cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} - \sqrt {\frac {\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}{\sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}} \sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}{\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}\right ) - \frac {1}{2} i \, \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {1}{4}} \log \left (\frac {i \, b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} \cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + i \, b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} + \sqrt {\frac {\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}{\sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}} \sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}{\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}\right ) + \frac {1}{2} i \, \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {1}{4}} \log \left (\frac {-i \, b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} \cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) - i \, b^{3} n^{3} \left (-\frac {1}{b^{4} n^{4}}\right )^{\frac {3}{4}} + \sqrt {\frac {\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}{\sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}} \sin \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right )}{\cos \left (2 \, b n \log \left (x\right ) + 2 \, b \log \left (c\right ) + 2 \, a\right ) + 1}\right ) \]
[In]
[Out]
\[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\int \frac {1}{x \sqrt {\cot {\left (a + b \log {\left (c x^{n} \right )} \right )}}}\, dx \]
[In]
[Out]
\[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\int { \frac {1}{x \sqrt {\cot \left (b \log \left (c x^{n}\right ) + a\right )}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\text {Timed out} \]
[In]
[Out]
Time = 27.84 (sec) , antiderivative size = 57, normalized size of antiderivative = 0.32 \[ \int \frac {1}{x \sqrt {\cot \left (a+b \log \left (c x^n\right )\right )}} \, dx=\frac {{\left (-1\right )}^{1/4}\,\mathrm {atan}\left ({\left (-1\right )}^{1/4}\,\sqrt {\mathrm {cot}\left (a+b\,\ln \left (c\,x^n\right )\right )}\right )\,1{}\mathrm {i}}{b\,n}+\frac {{\left (-1\right )}^{1/4}\,\mathrm {atanh}\left ({\left (-1\right )}^{1/4}\,\sqrt {\mathrm {cot}\left (a+b\,\ln \left (c\,x^n\right )\right )}\right )\,1{}\mathrm {i}}{b\,n} \]
[In]
[Out]